Translating Mobile Ambients into P Systems
نویسندگان
چکیده
منابع مشابه
Translating Mobile Ambients into P Systems
We present a translation of the mobile ambients without communication and replication into P systems with mobile membranes. We introduce a set of developmental rules over membranes, and describe the correspondence between the behaviour of an ambient and the evolution of the its translated membrane system. We give an operational correspondence result between the mobile ambients and P systems. So...
متن کاملMobile Ambients and P-Systems
The mobile ambients and the P systems are models developed in di erent areas of computer science based on very similar concepts and structures Given their resemblance we point out how to transfer ideas and results from one framework to the other Along this line we prove that any P system can be simulated in ambient calculus We also introduce the mobile P systems well suited to model security fe...
متن کاملTranslating Multiset Tree Automata into P Systems
In this work we propose a translation scheme to obtain P systems with membrane creation rules from transitions of multiset tree automata (MTA).
متن کاملSimulation of Mobile Ambients by P Systems. Part 1
Ambient calculus is a theory which deals with mobile computing and computation and encompasses such notions as mobile agents, the ambients where the agents interact and the mobility of the ambients themselves. P systems is a formalism which abstracts from the structure and functioning of living cells and describes distributed parallel computing devices with multiset of objects processing. Ambie...
متن کاملMobile Ambients
We introduce a calculus describing the movement of processes and devices, including movement through administrative domains. c © 2000 Elsevier Science B.V. All rights reserved.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2007
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2007.05.001